../dlv init.dl 2suitUp.plan -silent -FP -FPsec